COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00003 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL Prof. Hideyuki Takahashi↓Department of Mathematics
↓NIHON UNIVERSITY↓Kanda Surugadai 1-8, Chiyoda-ku↓Tokyo
↓101, JAPAN∞

Dear Professor Takahashi:

	Many thanks for your paper on your controller language.  I
found it quite suggestive, and so has my student Ben Moszkowski
who is working on proving correctness of digital hardware.  I want
to try out your ideas on expressing facts about concurrent events
in the common sense world.  If I get any results, I
will write you again.

.sgn